Ḳitsur Ḥovat ha-levavot me-Rabenu Asher mi-Lunil -- Ḳitsur Ḥovat ha-levavot mi-sefer Tsedah la-derekh -- Ḳitsur Ḥovat ha-levavot ʻAśarah hilulim -- Ḳitsur Ḥovat ha-levavot Margaliyot ṭovot.

Das Verhältniss des Thomas von Aquino zum Judenthum und zur jüdischen Litteratur.--Eine bisher unbekannte dem Bachja ibn Pakuda zugeeignete Schrift.--Die philosophischen und ethischen Anschauungen in Abraham bar Chijja's Hegjon ha-Nefesch.--Ueber Abraham bar Chijja's "Buch der Enthüllung".--Die Familie Schemtob in ihren Beziehungen zur Philosophie.--Die Stellung des Simon ben Zemach Duran in der Geschichte der jüdischen Religionsphilosophie.--Die philosophischen Lehren des Isaak ben Salomon Israeli.

The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. The compositionality of the resulting attribution (...) of semantic values is discussed. Elsewhere, the same method was used for defining proof-theoretic meaning of subsentential phrases in a fragment of natural language. Doing the same for (the simpler and clearer case of) logic sheds more light on the proposal. (shrink)

Scientific endeavor is the pursuit of knowledge with the aim of advancing the welfare of all human beings. This endeavor is built on the ideology of science; thus, society relies on the integrity of the practice of science and of scientists themselves. The responsible conduct of research is the essence of good science; however, many of the pedagogical approaches used to instill integrity in science accentuate the negative rather than exemplify ideal professionalism. This paper makes an argument for the inculcation (...) of the appropriate conduct of research via a positive approach. We address the acclimation to the culture of science that supersedes diverse cultural backgrounds of students. We suggest techniques for the implementation of positive strategies and reinforce the benefit of approaching the teaching of ethical behavior as a competitive advantage. We highlight ways in which this approach can empower the individual scientist and the scientific community as a whole. Transmission of the culture of scientific professionalism formalizes the aims of an ideal scientific professional and encourages assimilation and identification as a member of the scientific profession. We purport that instilling scientific professionalism will spur responsible conduct of research. (shrink)

A classic work of Jewish philosophy and Mussar by the famed Safed Kabbalist. Hebrew text with facing, new, annotated translation.

1. Sefer Anshe ḳodesh -- 2. Sefer Zeraʻ ḳodesh.

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call (...) weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions. (shrink)

Torat Ḥovot ha-levavot / ḥibro Baḥye ben Yosef ibn Paḳudah -- Lev Yiśraʼel / [me-et Aharon Yiśraʼel Ḳahan] -- Nefesh Avigdor / liḳuṭ mi-shiʻure Avigdor Miller.

[1] Shaʻar ʻavodat ha-Eloḳim -- [2] Shaʻar ha-beḥinah. Shaʻar Yiḥud ha-maʻaśeh -- [3] Shaʻar ha-biṭaḥon 1-2.